Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
5

Die Homilien zum Buch Genesis () || Bibliographie

Habermehl, Peter
Рік:
2011
Файл:
PDF, 79 KB
2011
6

Die Homilien zum Buch Genesis () || II. Rufins Übersetzung der Genesishomilien

Habermehl, Peter
Рік:
2011
Мова:
german
Файл:
PDF, 68 KB
german, 2011
7

Die Homilien zum Buch Genesis () || III. Die Überlieferung der lateinischen Homilien

Habermehl, Peter
Рік:
2011
Мова:
german
Файл:
PDF, 79 KB
german, 2011
8

Die Homilien zum Buch Genesis () || Frontmatter

Habermehl, Peter
Рік:
2011
Мова:
german
Файл:
PDF, 57 KB
german, 2011
9

Die Homilien zum Buch Genesis () || Inhalt

Habermehl, Peter
Рік:
2011
Файл:
PDF, 38 KB
2011
10

Die Homilien zum Buch Genesis () || I. Der Text der Genesishomilien

Habermehl, Peter
Рік:
2011
Мова:
german
Файл:
PDF, 111 KB
german, 2011
22

Die Homilien zum Buch Genesis () || HOMILIA XI

Habermehl, Peter
Рік:
2011
Файл:
PDF, 113 KB
2011
23

Die Homilien zum Buch Genesis () || HOMILIA V

Habermehl, Peter
Рік:
2011
Мова:
german
Файл:
PDF, 127 KB
german, 2011
24

Die Homilien zum Buch Genesis () || HOMILIA IV

Habermehl, Peter
Рік:
2011
Мова:
german
Файл:
PDF, 123 KB
german, 2011
25

Die Homilien zum Buch Genesis () || HOMILIA XII

Habermehl, Peter
Рік:
2011
Файл:
PDF, 115 KB
2011
26

Die Homilien zum Buch Genesis () || HOMILIA VII

Habermehl, Peter
Рік:
2011
Файл:
PDF, 120 KB
2011
27

Die Homilien zum Buch Genesis () || HOMILIA VI

Habermehl, Peter
Рік:
2011
Файл:
PDF, 100 KB
2011
28

Die Homilien zum Buch Genesis () || HOMILIA XIV

Habermehl, Peter
Рік:
2011
Файл:
PDF, 113 KB
2011
29

Die Homilien zum Buch Genesis () || HOMILIA IX

Habermehl, Peter
Рік:
2011
Файл:
PDF, 114 KB
2011
30

Lukan 1,227: credidimus pactis

Habermehl, Peter
Журнал:
Hermes
Рік:
2020
Файл:
PDF, 94 KB
2020
33

(20S)-3β,20-Dihydroxy-5α-cholestan-18,20-lacton

Gerhard Habermehl, Karl-Peter Swidersky
Журнал:
European Journal of Organic Chemistry
Рік:
1978
Файл:
PDF, 370 KB
1978
35

13C NMR spectra of 5β,14β-hydroxysteroids

Gerhard G. Habermehl, Peter E. Hammann, Victor Wray
Журнал:
Magnetic Resonance in Chemistry
Рік:
1985
Мова:
english
Файл:
PDF, 362 KB
english, 1985
36

Experimental investigation of NOx emissions in oxycoal combustion

Hannes Stadler, Dominik Christ, Martin Habermehl, Peter Heil, Arno Kellermann, Andreas Ohliger, Dobrin Toporov, Reinhold Kneer
Журнал:
Fuel
Рік:
2011
Мова:
english
Файл:
PDF, 630 KB
english, 2011
38

Regular Model Checking Using Inference of Regular Languages

Peter Habermehl, Tomáš Vojnar
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 351 KB
english, 2005
39

Automatic verification of recursive procedures with one integer parameter

Ahmed Bouajjani, Peter Habermehl, Richard Mayr
Журнал:
Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 220 KB
english, 2003
40

Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations

Ahmed Bouajjani, Peter Habermehl
Журнал:
Theoretical Computer Science
Рік:
1999
Мова:
english
Файл:
PDF, 1.97 MB
english, 1999
43

Automata-based verification of programs with tree updates

Peter Habermehl, Radu Iosif, Tomáš Vojnar
Журнал:
Acta Informatica
Рік:
2010
Мова:
english
Файл:
PDF, 933 KB
english, 2010
46

Verification of parametric concurrent systems with

Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar
Журнал:
Formal Methods in System Design
Рік:
2008
Мова:
english
Файл:
PDF, 1.07 MB
english, 2008
47

Programs with lists are counter automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar
Журнал:
Formal Methods in System Design
Рік:
2011
Мова:
english
Файл:
PDF, 1.26 MB
english, 2011
49

Abstract Regular Tree Model Checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 253 KB
english, 2006
50

Abstract regular (tree) model checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar
Журнал:
International Journal on Software Tools for Technology Transfer (STTT)
Рік:
2012
Мова:
english
Файл:
PDF, 861 KB
english, 2012